Boolean circuit - PDFSEARCH.IO - Document Search Engine

Boolean circuit
Results: 103

#	Item
71	Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-16 11:31:41 Mathematical logic Algebraic logic Circuit Boolean function Model checking FO Topology Boolean algebras canonically defined Boolean circuit Theoretical computer science Mathematics Boolean algebra
72	Fast Boolean Matching for LUT Structures Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-09-26 01:21:56 Mathematical analysis Boolean function Boolean network Lookup table Truth table Circuit Monotonic function Function Boolean satisfiability problem Mathematics Boolean algebra Theoretical computer science
73	ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Verification Aadithya V. Karthik‡ , Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, and Ja Add to Reading List Source URL: aadithyakv.com Language: English - Date: 2014-08-30 07:34:40 Digital signal processing Electromagnetism Analog-to-digital converter Comparator Successive approximation ADC Finite-state machine Extended finite-state machine Boolean circuit Binary decision diagram Electronic engineering Electronics Electronic circuits
74	3C-1 ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Veriﬁcation Aadithya V. Karthik‡ , Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, Add to Reading List Source URL: potol.eecs.berkeley.edu Language: English - Date: 2014-09-09 02:02:36 Electronics Electromagnetism Analog-to-digital converter Finite-state machine Successive approximation ADC Comparator Extended finite-state machine SPICE Boolean circuit Electronic engineering Electronic circuits Digital signal processing
75	IEEE TRANSACTIONS ON INFORMATION THEORY, Add to Reading List Source URL: work.caltech.edu Language: English - Date: 2005-04-05 03:19:05 Boolean algebra Computational complexity theory Theory of computation Logic Circuit complexity Circuit Truth table Canonical form FO Theoretical computer science Mathematics Applied mathematics
76	aadithya-ABCD-ACM-student-research-competition-final-paper-v1.dvi Add to Reading List Source URL: src.acm.org Language: English - Date: 2014-04-23 10:43:38 Digital signal processing Electronic circuits Analog circuits Electronic design Analog-to-digital converter Boolean algebra Successive approximation ADC Digital signal Integrated circuit design Electronic engineering Electronics Electromagnetism
77	Cut-and-Choose Based Two-Party Computation in the Online/Offline and Batch Settings∗ Yehuda Lindell† Ben Riva† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-08-26 03:49:35 Cryptographic protocols Computational complexity theory Secure multi-party computation Circuit Boolean circuit Secure two-party computation Communications protocol Two-phase commit protocol Theoretical computer science Data Information
78	Reconstructing Boolean Models of Signaling Roded Sharan1 and Richard M. Karp2 1 Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel, [removed] Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-01-25 07:47:48 Boolean algebra Algebraic logic Computational complexity theory Mathematical logic Logic Boolean function Artificial neuron Boolean circuit Circuit Mathematics Theoretical computer science Applied mathematics
79	Soft-error Robustness in QDI Circuits Wonjin Jang, Alain J. Martin Computer Science Department California Institute of Technology Pasadena, CA[removed]Abstract Add to Reading List Source URL: www.async.caltech.edu Language: English - Date: 2006-12-08 14:20:39 Digital electronics Variables Algebraic logic Quasi Delay Insensitive Soft error Final Circuit Hazard Boolean algebra Computing Mathematics Software engineering
80	Cyclic Boolean CircuitsI Marc D. Riedel Electrical and Computer Engineering, University of Minnesota, Minneapolis, MN[removed]Jehoshua Bruck Electrical Engineering, California Institute of Technology, Pasadena, CA 91125 Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2009-12-08 07:18:20 Algebraic logic Logic in computer science Boolean algebra Computational complexity theory Electronic design automation Boolean circuit Circuit Canonical form Logic gate Theoretical computer science Applied mathematics Mathematics

UPDATE